type Foo = () where Foo: Copy;
